windowManager: Remove unused function

https://bugzilla.gnome.org/show_bug.cgi?id=679500

diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js
index d096c83997fc90455b39085a18ef4cb17d7d3c1f..1d5f2044ffb017153c398c8f8734bb3e93c01333 100644 (file)
--- a/js/ui/windowManager.js
+++ b/js/ui/windowManager.js
@@ -26,12 +26,6 @@ function getDimShaderSource() {
     return dimShader;
 }
 
-function getTopInvisibleBorder(metaWindow) {
-    let outerRect = metaWindow.get_outer_rect();
-    let inputRect = metaWindow.get_input_rect();
-    return outerRect.y - inputRect.y;
-}
-
 const WindowDimmer = new Lang.Class({
     Name: 'WindowDimmer',